Publications
- Danaël Carbonneau and Frederic Peschanski. 2026. LeanMachines: State-based Modeling with
Refinement (a Lean4 Framework). Form. Asp. Comput. 38, 2, Article 18 (June 2026), 36 pages.
(article)
-
Danaël Carbonneau. 2026. Formaliser l’exécution de LeanMachines à l’aide du π-calcul.
AFADL. (Juin 2026), 4 pages.
(article)
Slides de présentation
- Journées APR 202 : Towards multi-refinement for the LeanMachines Framework
(slides)
- Journées APR 2026 : Formaliser l'exécution des LeanMachines à l'aide du π-calcul
(slides)
Code
- LeanMachines, un framework
pour spécifier des systèmes réactifs en Lean4, inspiré par la méthode formelle Event B
(repertoire github)